#!/bin/sh
MAUDE="maude"
which $MAUDE 1>/dev/null 2>/dev/null
if [[ $? -ne 0 ]]; then
  echo "set MAUDE to the correct path of the maude executable in makeK on line 2"
  exit 1;
fi
echo "q" | $MAUDE -no-banner -batch >/dev/null
RUNNER=`which $0`
KBASE=`dirname $RUNNER`
FILE=${1/.*/}
if [[ $# -eq  2 ]]; then
  LANG=$2
else
  LANG=`echo $FILE | tr a-z A-Z`
fi

echo "RUNNER=$RUNNER"
echo "KBASE=$KBASE"
echo "FILE=$FILE"
echo "LANG=$LANG"

(echo "set print attribute off ." && echo "(show module $LANG-SYNTAX .)" && echo "(show module $LANG-K-SYNTAX .)" && echo "(show module $LANG-K-SEMANTICS .)" && echo "q") | $MAUDE $FILE | grep "^mod " -A 10000 |grep -v "^Bye" |grep -v "^rewrit" | sed "s/including $LANG-CONFIGURATION ./including $LANG-K-SYNTAX ./" | sed "s/including K-RULES .//" > $FILE-compiled.maude
